Diclib.com
Wörterbuch ChatGPT

Wörterbuchsuche Kundenspezifische Lösungen

Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆

Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

wie das Wort verwendet wird
Häufigkeit der Nutzung
es wird häufiger in mündlicher oder schriftlicher Rede verwendet
Wortübersetzungsoptionen
Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
Etymologie

Was (wer) ist BLAST (статический анализатор) - definition

BLAST (статический анализатор)

Berkeley Lazy Abstraction Software Verification Tool (BLAST) — программа проверки моделей для языка Си. Задача, решаемая инструментом BLAST — это проверка того, что программа удовлетворяет поведенческим требованиям к ней.

https://ru.wikipedia.org/wiki/BLAST_(статический_анализатор)

Анализатор спектра

Анализа́тор спе́ктра — прибор для наблюдения и измерения относительного распределения энергии электрических (электромагнитных) колебаний в полосе частот.

https://ru.wikipedia.org/wiki/Анализатор_спектра

Анализатор спектра

частот, измерительный прибор лабораторного применения для исследования частотных спектров, наблюдаемых на экране электроннолучевой трубки (ЭЛТ), импульсно- и амплитудно-модулированных колебаний в 3- и 10-см диапазонах волн. Для получения осциллографического изображения спектра исследуемых колебаний в координатах "мощность - частота" в А. с. применяют Супергетеродинный радиоприёмник, в котором подаваемые на вход колебания ослабляются (если необходимо) Аттенюаторами, преобразуются по частоте, усиливаются и затем поступают на вертикальные отклоняющие пластины ЭЛТ; частота гетеродина приёмника линейно изменяется на ± 8Мгц (в 10-см диапазоне) или на ±30Мгц (в 3-см диапазоне) в такт с пилообразным напряжением развёртки, одновременно подаваемым в цепи, изменяющие частоту гетеродина, и на горизонтальные пластины ЭЛТ. В А. с. предусмотрена градуировка по частоте, осуществляемая генератором калибровочных меток с плавной регулировкой амплитуды и частоты от 1 до 10 Мгц. А. с. можно измерять уход частоты генератора, малые разности частот двух генераторов и др.

Лит.: Шкурин Г. П., Справочник по электроизмерительным и радиоизмерительным приборам, 3 изд., т. 2, М., 1960.

Wikipedia

BLAST (статический анализатор)

Berkeley Lazy Abstraction Software Verification Tool (BLAST) — программа проверки моделей для языка Си. Задача, решаемая инструментом BLAST — это проверка того, что программа удовлетворяет поведенческим требованиям к ней. BLAST реализует подход абстракция и уточнение по контрпримерам (англ. counterexample-driven automatic abstraction refinement) для конструирования абстрактной модели, которая затем проверяется на свойства безопасности (англ. safety). Абстракция строится по ходу анализа и только до требуемой точности, устанавливаемой в ходе анализа.

Оригинальная версия BLAST, разработанная в Беркли, более не поддерживается. В настоящее время BLAST развивается и используется в ИСП РАН. Команда ИСП РАН регулярно участвует с инструментом BLAST в Международных соревнованиях по верификации программного обеспечения (SV-COMP).

В 2012 инструмент был награждён золотой медалью в категории DeviceDrivers64 на первых соревнованиях SV-COMP 2012, проводившихся на конференции TACAS 2012 в Таллине.

В 2013 году - бронзовой в категории DeviceDrivers64 на вторых соревнованиях SV-COMP 2013, проводившихся на конференции TACAS 2013 в Риме.

В 2014 году инструмент был награждён золотой медалью в категории DeviceDrivers64 на третьих соревнованиях SV-COMP 2014, проводившихся на конференции TACAS 2014 в Гренобле.

https://ru.wikipedia.org/wiki/BLAST (статический анализатор)

Was ist BLAST (статический анализатор) - Definition